perm filename LET.PUB[LET,JMC]15 blob
sn#293398 filedate 1977-07-07 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00004 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .<< Feature summary
C00005 00003 .DEVICE XGP
C00010 00004 .at "∂AIL" data "∞" ⊂
C00017 ENDMK
C⊗;
.<< Feature summary
.
.Start with
.require "let.pub[let,jmc]" source;
.Letterheads: ∂<type> <to>$<from>$<subject>$<date>∞
. <type> may be:
. AIL - AI Lab Letter
. MEM - AI Lab Memo
. ADM - admissions letter
. HOM - home address letter
. SEN - Sense letter
. LOT - LOTS letter
. MLOT - LOTS memo
. <from> defaults depend on <type>,
. <date> defaults to today.
. Use "↓" wherever you want a CRLF.
.Signatures:
. .sgn - sincerely yours, with signature according to letterhead
. .sgnp - sincerely yours, John McCarthy
. .reg - best regards, with signature according to letterhead
. .regp - best regards, with no titles
.
.Other handy macros:
. FAC means FILL ADJUST
. CB "<sub-heading>" means make a centered boldface subheading. If the
. subheading contains any commas, be sure to enclose it in quotes.
. BOLDIT may be called within a block to cause quoted text " ... " to
. turn into boldface (without quotes) and broketed text < ... > to
. be put in italics (without brokets).
. REF may be called within a block to print "References:", then go into
. BOLDIT mode With a format suitable foR a list of references.
.
.Belkw is the list of addressee abbreviations. Use as, e.g. "Dave Russell↓IPT".
.The abbreviati@=\ASI∃]iSM%KdA[¬rAEJ↓k`Ai<@hAY∃iiKeLAY←]≤\~∀\x|∩∩~(]β%!¬>EβIYC]GK⊂A%Kg∃CeGP↓!e←U∃GifA¬OK]GdαDL~(\@@DDn``A]SYg←8A¬←k1KmCe⊂ββeY%]Oi←8XA-SIOS]S∧@ddd@rDv~(\~∀]%!)>E%]M←e5CiS←8A!e←
KggS9NA)K
Q]ScUKfA∨→MSGJ∧DL~∀8@@Eβ⊃mC]G∃HA%KMKCeG A!e←)KGif↓βOK]
rαDL4∀\@@λbn``↓/SYg=\A¬←UYKmCIHββe1S]Oi=\XA-%eOS]%B@ddH`rDv4∀_] Y∪π
Aa∂ ~∀9E←ii=[>jfl~∀]a¬OJAMIC[JA ←ii←4AQSO @pjA]SIJ~(]CeK∧AiKqPAYS]∃f@bAQ↑AE←Qi←ZA
QCd@DAi↑@``v~∀8~∀])U%≤A∨8@DKvλD~∀]→←]h@D@EECMXf`DlAM←]P@d@E CgRf@DvAM=]h@fEECgλf`Dw→∨≥(Aλ@E¬βa~f`Dm
∨≥(↓ε@Eu∃e↑f`λv~∀]¬(@EM→RD@ ↓∪@`q)⊃∪'→∨≥(8LA)⊃8@D6DA→'∀@EL¬_¬RD@Dv~∀]¬(@EM→XD@ ↓∪@`q)⊃∪'→∨≥(8LA)⊃8@D∧≤λA→'∀@EL¬_¬XD@Dv~∀]¬(@EM_D@@ ↓∪@`q)⊃∪'→∨≥(8LA)⊃8@D:DA→'∀@EL¬_D@"v4∀]β(EMRD@ A∪_@`y)!∪'
∨9(8fAQ⊃≤@λ∧<DA∃→'
@ L¬RD"v~∀9β(@E→XD@@@A∪@@y)⊃∪M
∨≥(pfA)⊃∃≤@D>λ@A→M
@EL XD@"l~∀]βP@DZZλ@@ A%@`yQ⊃∪'
=≥(8f↓)⊃≤D
DA∃→'
@λZ∧ZD"v~∀8~∀]CP@DαDl∩ A|4∀\"v4∀\~∀9[CGe<AYKiQKdQI¬iBYCUhRv∩@~∀\xpA]C[¬H@zAQ←]C[∀βCIIHbβCI⊃ddα\8\ICkQQ←dIMkEUK
hIICQJIgC1kCiS=\||~(]EKM=eJAa¬OJ@ "v~∀9∨ →∃
)¬∨I %?∃-≥→∃
)¬∨I %>D```v4∀]SL↓O←S]≤z`Ai!K\AO=S]O>DAKYg∀A]KqPAaCO∀v~∀]9←MSY0v~∀]
←k]h↓aCOJ↓Me←Zdv~∀9gCYkQ>EICQBDv@↓M←←?MGC\QMCYkh0D@DXλDXE1HDRv~(]qqq⎇]C[C⊃?gGC8QgCYUhXDHλXDDX ∪&DRl@Asse?Cki!←e?g
C\Qg¬YkhXλHDXDλXE∪&λRv~∀9gkEU∃Gi?g
C\Qg¬YkhXλHDXDλXE∪&λRvAI¬i?gG¬\QgC1khXD⊂DXDD0E∪&D$v~∀]%LAYK9OiPQ⊃ChR8HAiQK8AICi⎇ICiJl~∀]S_AYK]≥iPQCUiQ←d$8dAi!K\Ases?CkQQ←e> CkhDl~∀]uiu?gG¬\QssdXDXαλRv~∀9uuu?MGC\QaqpXD∧DXDD0E∪&D$v@AY9?YK]≥iPQuitRv~(]SLA1K]Oi Q]C[¬HR⎇Y8VfAi!K\AgQCeh~(\@AS_AYK]≥iPQ]¬[CHRqY\Vn↓iQK\↓]C[C⊃?uut_DαDM∃mCXQaqpRv4∀\@A∃]Hv~(]]C[∃?gGC8Quut0DXDRl~∀]M%YXAC⊃Ukghl~∀\@D~∀\~(][CGI↑AQK¬Hv∩ ↓]←MS1XvA'-∪ @hlAgKYα+∂Q↓X4)9Fsπ7π"Kx4)w≠W)Xh);'2β3↔;?#!#O∞cWQ%s βS#.qβOS∂∪P4*&+πIβZCOπ3/!%oyPh(4)v+;⊂4RpD4)ph);7∞≠K=βn+7=lI↓β↔>K9↓n+7=λhQ;O/O↓↓MlhQ;≠'faeβ;}SWOQX∧εNvL]g"β¬GβZε>,'⊗.≥32π&≤.2βK4∞G/⊗d vrα+DR∪XQ%gGG⎇f∞n≤G2αεl≥U␈≡<≥bGG∂¬B⊂
%↔0hUMw%b+∨=f∞oaQ hRV8g⊗}W+B+∂<≡W&F}/`hRl]f"α-\Vnz'1PRw>\&SXQ%aλh%aPRv\≤7⊗z∞>V⊗S1∩hRll⊗≠XQ%fN2
LVv?M¬π∨.-,V∨"↔f"π&]b∧∀Xy∀rα.>V⊗V\>B∩πN↑&rε⎇dα∩(t'2εv⎇.W∨#4
⊗v&]nBβαGπ6∨⊗.,V∞[1Q"+≥>\&V.>G {JV∨7∨.-,V∨'aQ hRl]f"α.>V⊗V\>B∪XQ%f⊗.m}&*π≤v(I∧
vv≡T∞G/⊗d
vrα$S∃z∪4∞6.f\>Bβ≠1Q"vv≥\Wu␈<L↔'q~⊗>*∂>ε∞>T∨b*PQ%g≡↑≡π0hRd∧αα↓⊃Q"w≡]LV∨"ε↔0hRd∧↓λh%aPRv\≤7⊗z∞,V2↓∧∞6.f\>Bβ≠4
f}W↑>CZε-⎇F&OG1PU⊗\lW⊗.l<W≠PQ%g≡.L\7"β↔4εNvL]g"β¬GβXh%d↓λh%aPRv\≤7⊗z∞<vr↓∧λ$,<→dα↔≡≤⎇f."$
4\M∧ε#Z∧ixdLdG4ε?⊗}↑βXh*=⊗v≡↑,VgJAQ"u≤9~αβ≠1Q'↑∂↑Mε␈↔aQ"t,hDα↔≡≤⎇f."'4↓λh%aPRv\≤7⊗z∞<vwαα∧∧∀,y→bα↔=≤vv.N
F∞Nd$¬≤\~∧β∪Z it4LIG2ε?-}WβXQ*6Nv<↑&.g∃APRu99∃αβ'1PTV⎇
b∧n8<↔↔&∂⊃PRtYhBα↔=≤vv.N
F∞Nd'2↓λQ%`hRm\⊗∨⊗t∞&.:αλ$,<→dα↔⊗\|↔⊗'4$¬≤\~∧β∪Z it4LIG2ε?-}WβXQ(&/∨D∞&.>≡,G~`Q%e≤\~∧β≠XQ/6∂/M
w↔pQ%d,tD∧'⊗.|≡&'~'4↓λh%aPRv\≤7⊗z∞,V?α∧α∧∀,y→bα↔,\v∂⊗N>εf∞≥d"¬≤9~αβ∪4 d|4→ICZε}-w/β1Q$⊗/>Dπ⊗.|≡&'~AQ"u≤9~αβ≠1Q$V}
d∧n≤<≡'&G⊃Q"t,hDα↔⊗\|↔⊗'>
F∞Nd'2↓λQ%`hRiX∀≥∀tλd~α∧∧4LID∧$*Z5"↓⊃Q"ph%mV∞∨-tε≡∩
V∞"∀ααεNd
FNv↑7C*πMVrεl←π"π≤v*ε]N6*π==↔βZ
⎇f≡*<Vw&↑'2π≡]LV∨"ε1PVF\≤@hPQ%aλh%aPRv\≤7⊗z-vf&≡D↓απN↑&rε⎇dα∩*'1PRr∧↔"α$$"∩↓∧¬εN2∞MεO≡m⎇g#k∀∞FF.d∧"+~$Vg≡T∧"+
%∀↓XQ%bαε≡Dα∪b$αα∩+$"∪Zε≡Dα∪r$αα∩+∀"∪Xh%b⊂hPbv≡Dα⊂|→→B∩εL≡F
α!d#Z↓↓Q"vf↑NF/∩∂LF∂&∨EGdV⎇
b∧n8<↔↔&∂⊂∀&O,\7&␈ ~π⊗}l↑7≡␈$
v2∧=⎇Wπ/L↑"¬≡=≤Vv≡←E∪Xh%m⊗2ε⎇fCkα∞Mε.r∞>F∂↔D
vs%v↔2∧4yjBβ"∧*5$&εα∪Z]f#XQ%fN2
⎇c+k∧∞FF.d∞7&∂.Dε}s[v∪Z∧iye"βT∧$t<&&R∪Z]f#XQ$S%~VT∧∂↔M≤fN≡≤≥B∧NnLVff≤|Vv≡T F∞⊗},↔&␈/∃B¬≥H→d4⎇(D¬,t~hU∃≤~K∩b¬>L⊗v6},Bb∧<≥FN6}-fN
π⊗C≠βQQ"wF|]ffNl↑5zkG1PRv⎇l6*πN↑&rε⎇dα⊃J!Q%&.L↑εF}lTβ#TεCK:VFC≠↓∨<F∂'aQ"vF\≤CXh%b⊂hRaQ"v∂D∧ |DyT"ε&≡L∩α⊂d'2↓Q%ff/NLW∩GLL↔&∂EODV}
d∧n≤<≡'&G∨E∪Xh%m⊗2ε⎇fSkα∞Mε.r∞>F∂↔D
vs-v↔2∧4yjBβ*∧)d<∪&T#Zε]lCXh%l&.>≥dπ≡.L\7"βW4ε≡.nLW∪XQ'β#2 L↔&G-}α∧'-≡f(h*>F∞vm}&"bλ<⊗fNm}&vN4305
.nofill; turn on "→"
Telephone 415 321-7580→{dat}
.head;
.end
.⊃
.
.AT "∂MEM" data "∞" ⊂
.letter("data",
."John McCarthy, Director, Artificial Intelligence Lab.");
.if on6=0 then start on6←1; font 6 "micr25"; end;
.if on7=0 then start on7←1; font 7 "ngb30"; end;
.SELECT 6; CENTER;
OFFICE MEMORANDUM * STANFORD UNIVERSITY * OFFICE MEMORANDUM
.SKIP; SELECT 7;
STANFORD ARTIFICIAL INTELLIGENCE LABORATORY
.SELECT 3; SKIP;
{DAT}
.memo;
.⊃
.
.at "∂SEN" data "∞"; ⊂
.letter(|data|,|John McCarthy↓Chairman, Stanford Chapter of SENSE|);
.if on5=0 then start on5←1; FONT 5 "NGB25"; end;
.if on7=0 then start on7←1; font 7 "ngb30"; end;
.if on8=0 then start on8←1; font 8 "ngb25"; end;
.begin center;
%7 SENSE
%8 (Scientists for Enlightenment on Nuclear Sources of Energy)
.skip
%5 846 Lathrop Drive, Stanford, California 94305
.end
.xgenlines←-4;
.once turn on "→"
Telephone 415 497-4430→{dat}
.head;
.⊃
.
.at "∂LOT" data "∞"; ⊂
.letter(|data|,|John McCarthy↓Director↓Professor of Computer Science|);
.if on9=0 then start on9←1; font 9 "beesix"; end;
.if on5=0 then start on5←1; FONT 5 "NGB25"; end;
.if on8=0 then start on8←1; font 8 "ngb25"; end;
.begin center
%9 LOTS
%8 (Stanford University Low Overhead Time-Sharing System)
.skip
.end
%5John McCarthy, Director
Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.skip
.xgenlines←-4;
.once turn on "→"
Telephone 415 497-4430→{dat}
.head;
.⊃
.
.AT "∂MLOT" data "∞" ⊂
.letter(|data|,"John McCarthy, Director");
.if on6=0 then start on6←1; font 6 "micr25"; end;
.if on7=0 then start on7←1; font 7 "ngb30"; end;
.SELECT 6; CENTER;
OFFICE MEMORANDUM * STANFORD UNIVERSITY * OFFICE MEMORANDUM
.SKIP; SELECT 7;
STANFORD LOW OVERHEAD TIME-SHARING SYSTEM
.SELECT 3; SKIP;
{DAT}
.memo;
.⊃
.
.
.at "∂ADM" data "∞"; ⊂
.letter(|data|,|John McCarthy↓Chairman of Admissions 1976↓Professor of Computer Science|);
.if on4=0 then start on4←1; FONT 4 "STA200"; end;
.if on5=0 then start on5←1; FONT 5 "NGB25"; end;
%4S%5 Computer Science Department, STANFORD UNIVERSITY, Stanford, California 94305
.xgenlines←-4;
.once turn on "→"
Telephone 415 497-4430→{dat}
.head;
.⊃
.going←on4←on5←0; on6←on7←on8←on9←0;
.portion main; place text;